161. Algebraic logic
پدیدآورنده : Halmos, Paul R.)Paul Richard(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Algebraic logic,، Logic Symbolic and mathematical
رده :
QA
266
.
H3
162. Algebraic methods of mathematical logic
پدیدآورنده : Rieger, Ladislav
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Algebra, Boolean
رده :
QA
9
.
R6413
163. Algebraic methods of mathematical logic
پدیدآورنده : RIEGER,LADISLAV
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : LOGIC,SYMBOLIC & MATHEMATICAL , ALGEBRA,BOOLEAN
رده :
QA
9
.
R6413
164. Algebraic perspectives on substructural logics
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical. ;
165. Algebraic systems
پدیدآورنده : )by( A. I. Mal'cev. Translated from the Russian by B. D. Seckler and A. P. Doohovskoy,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Algebra, Abstract,Model theory,Logic, Symbolic and mathematical
رده :
QA
.
M3413
162
166. Algebraic systems
پدیدآورنده : Maltsev, Anatolii Ivanovich
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
رده :
QA
162
.
M3513
1973
167. Algebraic systems
پدیدآورنده : Maltsev, Anatolii Ivanovich
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
رده :
QA
1
.
G7
v
.
192
168. Algebraic systems
پدیدآورنده : Mal'tsev, Anatolii Ivanovich, 9091-7691
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
رده :
QA
162
.
M3413
1973
169. Algorithmic aspects of algebra and logic : collected papers dedicated to Academician Sergei Ivanovich Adian on the Occasion of his 80th birthday
پدیدآورنده : ]volume editor, L.D. Beklemishev; translated and published by Maik Nauka/Interperiodica
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Algorithms
رده :
QA
1
.
P736
Vol
.
274
170. Algorithmic logic /
پدیدآورنده : G. Mirkowska and A. Salwicki
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms,Formal languages,Logic, Symbolic and mathematical
رده :
QA267
.
3
.
M57
1987
171. <An> Introduction to Geodel's Theorems
پدیدآورنده : Peter Smith
کتابخانه: Library of Faculty of Literature and Humanities Sciences of Kashan University (Esfahan)
موضوع : Logic, Symbolic and mathematical,Geodel numbers,Geodel, Kurt
رده :
511
.
3
S642I
172. <An> Introduction to Hilbert Space and Quantum Logic
پدیدآورنده : David W. Cohen
موضوع : Hilbert Space,Quantum Theory,Logic, Symbolic and Mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
173. An Introduction to Hilbert space and guantum logic
پدیدآورنده : Cohen, David W.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Hilbert space,، Quantum theory,، Logic, Symbolic and mathematical
رده :
QA
322
.
4
.
C64
1989
174. An Introduction to Hilbert space and quantum logic
پدیدآورنده : / David W. Cohen
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Hilbert space,Quantum theory,Logic, Symbolic and mathematical
رده :
QA322
.
4
.
C64
1989
175. An Invitation to Abstract Mathematic
پدیدآورنده : / by B?شla Bajnok
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Mathematics,Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
176. An Outline of set theory
پدیدآورنده : Henle, James M.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
H43
1986
177. #<An> outline of set theory
پدیدآورنده : #James M. Henle
موضوع : Set theory ،Logic, Symbolic and mathematical
۶ نسخه از این کتاب در ۵ کتابخانه موجود است.
178. An algebraic approach to non-classical logics
پدیدآورنده :
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Logic, symbolic and mathematical
رده :
511
.
3
R224
179. An algebraic introduction to mathematical logic
پدیدآورنده : Barnes, Donald W.
موضوع : ، Logic, Symbolic and mathematical,، Algebraic logic
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
180. An algebraic introduction tomathematical logic
پدیدآورنده : Barnes, Donald W.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical,، Algebraic logic
رده :
QA
9
.
B27
